algebraic logic

[ˌældʒiˈbreiik ˈlɔdʒik]
  • 释义

    代数逻辑;

数据更新时间:2025-11-14 06:22:11
1、

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • whom[huːm] pron.谁(who的宾格);
  • attain[əˈteɪn] vt.& vi.达到,获得;遂愿;经过努力到达某事物;vt.达到,实现;获得;到达;
  • CNN News[siː en ˈen njuːz] CNN新闻;美国有线新闻电视网新闻
  • 5-htp 5-羟色胺;5羟色氨酸
  • bear[beə(r)] n.熊;(在证券市场等)看跌的人;v.有(某个名称);支撑;承受;显示;忍受;开(花);携带;承担责任;生育,生(孩子);转向(左或北等);举止;心怀;不适于某事(或做某事)
  • pilot[ˈpaɪlət] n.飞行员;(飞行器)驾驶员;领航员;领港员;引水员;(电视的)试播节目v.驾驶;引导;试验;顺利通过;
  • place[pleɪs] n.地方;城镇;场所;…地方;表面的某处;某点;座位;地位;入学机会;队员身份;恰当位置;适当处所;名次;住处;(数学)位;广场名称;adv.到处;
  • squid[skwɪd] n.乌贼,墨鱼;鱿鱼;
  • quickly[ˈkwɪkli] adv.迅速地;立即,马上;很快地;
  • husky[ˈhʌski] adj.嗓子哑的;深沉沙哑的;魁梧的;高大威猛的;强壮的;n.哈士奇;强壮结实的人;爱斯基摩狗(高大强壮,毛厚,用来拉雪橇)
  • simply[ˈsɪmpli] adv.仅仅;简朴地;
  • hotel[həʊˈtel] n.酒店;旅馆;旅社;酒吧;酒馆;餐馆;饭店;vi. 使…在饭店下榻进行旅馆式办公

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈